On the Limiting Distribution of Program Sizes in Tree-based Genetic Programming R. Poli Department of Computer Science University of Essex, UK

Source URL: cswww.essex.ac.uk

• Binary tree
• Ternary tree
• B-tree
• Probability-generating function
• Branching process
• Probability theory
• Statistics
• Mathematical analysis

Modeling Web Services by Iterative Reformulation of Functional and Non-Functional Requirements Jyotishman Pathak, Samik Basu, and Vasant Honavar Department of Computer Science Iowa State University Ames, IA, U

Source URL: www.cs.iastate.edu

• Functions and mappings
• Deduction
• Entailment
• Logical consequence
• Metalogic
• Function
• Logic
• Mathematics
• Binary operations

Termination of LCTRSs∗ Cynthia Kop1 1 Department of Computer Science, University of Innsbruck Technikerstraße 21a, 6020 Innsbruck, Austria

Source URL: www.imn.htwk-leipzig.de

• Mathematical logic
• Model theory
• Symbol
• Function
• Rewriting
• Interpretation
• Binary relation
• Mathematics
• Formal languages
• Logic

Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome,

Source URL: users.ece.cmu.edu

• Predicate transformer semantics
• Program logic
• KeY
• IP
• NP
• Symbolic execution
• PP
• Algorithm
• Function
• Theoretical computer science
• Mathematics
• Applied mathematics

Draft version October 9, 2012 Preprint typeset using LATEX style emulateapj v[removed]S-STARS IN THE GALACTIC CENTER AND HYPERVELOCITY STARS IN THE GALACTIC HALO: TWO FACES OF THE TIDAL BREAKUP OF STELLAR BINARIES BY THE

Source URL: astro.berkeley.edu

• Space
• Star types
• Dark matter
• Binary star
• Star
• Cosmic distance ladder
• Black hole
• Initial mass function
• Astronomy
• Stellar astronomy
• Physics

Alonzo Church inventor of lambda calculus 9 Lambda

Source URL: www.cs.berkeley.edu

• Mathematics
• Anonymous function
• Function
• Binary lambda calculus
• Church encoding
• Lambda calculus
• Software engineering
• Declarative programming

China Binary Sale Technology Limited 神 州數字 銷售技 術有限公 司 (Incorporated in the Cayman Islands with limited liability) (Stock Code: [removed]LIST OF THE DIRECTORS AND THEIR ROLE AND FUNCTION

Source URL: gem.ednews.hk

Structural Signatures for Tree Data Structures Ashish Kundu Elisa Bertino Department of Computer Science, Purdue

Source URL: www.vldb.org

• Computing
• Data structures
• Tree traversal
• Hashing
• Merkle signature scheme
• Tree
• B-tree
• Cryptographic hash function
• R-tree
• Binary trees
• Cryptography
• Graph theory

Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U

Source URL: users.ece.cmu.edu

• Software testing
• Predicate transformer semantics
• Program logic
• Fuzz testing
• X Window System
• Function
• KeY
• Errors and residuals in statistics
• Network Time Protocol
• Statistics
• Software
• Mathematics

c 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promo

Source URL: www.sosy-lab.org

• Diagrams
• Algorithm
• Theoretical computer science
• Binary decision diagram
• Economic model
• Model checking
• Function
• Mathematics
• Boolean algebra
• Mathematical logic